Computer Programs

نویسندگان

  • Amnon H. Eden
  • Raymond Turner
چکیده

As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? (2) To what ontology are computer programs committed? (3) What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we take inventory of programs and related objects and conclude that the notions of abstraction and concretization take a central role in this investigation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Incorporation of Demand Response Programs and Wind Turbines in Optimal Scheduling of Smart Distribution Networks: A Case Study

Smart distribution networks (SDNs) plays a significant role in future power networks. Accordingly, the optimal scheduling of such networks, which include planning of consumers and production sections, inconsiderably concerned in recent research studies. In this paper, the optimal planning of energy and reserve of SDNs has been studied. Technical constraints of distribution network and power gen...

متن کامل

Effects of Ergonomics Training and Corrective Exercises on Musculoskeletal Disorders among Office Computer Users at Qazvin Province Gas Company

Background: Work-related musculoskeletal disorders are major causes of absenteeism, increased costs, and human injuries among computer users. This study aimed to examine the effects of ergonomics training and corrective exercises on musculoskeletal disorders among a gas company computer users. Material and Methods: This experimental study was conducted on 19 office computer users who participa...

متن کامل

Role of E-Learning in Teaching Anatomical Sciences

Introduction: Medical undergraduates usually understand and memorize anatomical course material with difficulty. Also, the current text books and atlases of anatomy and histology do not fulfill all the learning needs of the undergraduates. Therefore, it is necessary to consider the role of internet websites and computer programs (i.e. the role of electronic learning) in teaching....

متن کامل

Computer assisted instruction during quarantine and computer vision syndrome

Computer vision syndrome (CVS) is a set of visual, ocular, and musculoskeletal symptoms that result from long-term computer use. These symptoms include eyestrain, dry eyes, burning, pain, redness, blurred vision, etc, which increase with the duration of computer use. Currently, with the closure of schools and universities due to the continued COVID19 pandemic many universities have taken the pr...

متن کامل

Proposing an Efficient Software-based Method to Enhance Reliability of Computer Systems against Soft Errors

In recent years, along with rapid developments in technology, computer systems haveincreasingly become more integrated and more modular. Indeed, the reliability and efficiency ofcomputer systems are of high significance. Hence, the quantitative evaluation of the optimizationof reliability indexes in computer systems is considered to be a crucial issue. Reliabilityenhancement of computer systems...

متن کامل

An automated approach to analysis and classification of Crypto-ransomwares’ family

There is no doubt that malicious programs are one of the permanent threats to computer systems. Malicious programs distract the normal process of computer systems to apply their roguish purposes. Meanwhile, there is also a type of malware known as the ransomware that limits victims to access their computer system either by encrypting the victimchr('39')s files or by locking the system. Despite ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007